From 153d3045ed17bf0282b319cb7f861947627cd5ff Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Fri, 15 Feb 2013 20:43:45 -0500
Subject: [PATCH] viewSelector: emit a signal when the view is empty

This is very a useful point in time when the size of the side controls
can change without affecting any visible view. Emit a signal at that
time.

https://bugzilla.gnome.org/show_bug.cgi?id=693924
---
 js/ui/viewSelector.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index b40da6fd9..7a3182a2c 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -205,6 +205,8 @@ const ViewSelector = new Lang.Class({
     },
 
     _fadePageIn: function() {
+        this.emit('page-empty');
+
         this._activePage.show();
         Tweener.addTween(this._activePage,
             { opacity: 255,
-- 
2.39.5